Podymov, V. V. : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (54)
Les plus populaires
Liste
- Liste
- Tableau

1

Translation of UML Statecharts to UPPAAL Automata for Verification of Real-time Systems

Daniil A. Zorin,Vladislav V. Podymov

Journal:

Proceedings of the Spring/Summer Young Researchers' Colloquium on Software Engineering

Année:

2012

Langue:

english

Fichier:

PDF, 562 KB

english, 2012

2

Modeling the influence of oxygenated inflows on the biogeochemical structure of the Gotland Sea, central Baltic Sea: Changes in the distribution of manganese

E.V. Yakushev, I.S. Kuznetsov, O.I. Podymov, H. Burchard, T. Neumann, F. Pollehne

Journal:

Computers & Geosciences

Année:

2011

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2011

3

Results of test experiment comparing measurement data of three adjacent ADCP bottom stations

Piotukh, V. B., Baranov, V. I., Kuklev, S. B., Podymov, O. I.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 4.80 MB

english, 2016

4

Efficient Equivalence-Checking Algorithms for Procedural Programs in Progressive Semigroup Gateway Models

Journal:

Moscow University Computational Mathematics and Cybernetics

Année:

2019

Fichier:

PDF, 528 KB

2019

5

Probabilistic-kinetic model of dynamic deformation and breakage of fissured hard rocks. part 3: computer implementation

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Année:

1992

Langue:

english

Fichier:

PDF, 540 KB

english, 1992

6

Kinetic model of the dynamic deformation and destruction of rock. I. Physical construction

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Année:

1992

Langue:

english

Fichier:

PDF, 728 KB

english, 1992

7

Kinetic model of the dynamic deformation and failure of rock. II. Mathematical description of failure

A. D. Borulev, V. S. Krutsan, V. K. Makeev, V. V. Podymov

Journal:

Journal of Mining Science

Année:

1992

Langue:

english

Fichier:

PDF, 531 KB

english, 1992

8

Heat transfer during nonlinear oscillations of gas in a half-open tube

G. G. Khalimov, R. G. Galiullin, V. N. Podymov

Journal:

Journal of Engineering Physics and Thermophysics

Année:

1983

Langue:

english

Fichier:

PDF, 657 KB

english, 1983

9

Note on the appearance of vortices in vibratory combustion

V. N. Podymov, D. S. Kayumova

Journal:

Journal of Engineering Physics and Thermophysics

Année:

1966

Langue:

english

Fichier:

PDF, 360 KB

english, 1966

10

The variation of the index of refraction in a vortex tube

Journal:

Journal of Engineering Physics and Thermophysics

Année:

1965

Langue:

english

Fichier:

PDF, 239 KB

english, 1965

11

Ignition of a fuel-air mixture with a high-speed plasma jet

V. V. Afanas'ev, A. K. Kuz'min, S. A. Abrukov, V. N. Podymov, S. V. Il'in

Journal:

Journal of Engineering Physics and Thermophysics

Année:

1994

Langue:

english

Fichier:

PDF, 224 KB

english, 1994

12

Experimental study of heat transfer in a pulsating combustor

N. Kh. Kahlitov, V. B. Repin, V. N. Podymov

Journal:

Journal of Engineering Physics and Thermophysics

Année:

1975

Langue:

english

Fichier:

PDF, 311 KB

english, 1975

13

Calculation of process parameters for destruction of mine workings by explosive loads

A. D. Borulev, V. V. Podymov

Journal:

Journal of Mining Science

Année:

1991

Langue:

english

Fichier:

PDF, 357 KB

english, 1991

14

Erratum: “On the Stability and Interannual Variability in the Hydrochemical Structure of the Redox Layer of the Black Sea”

E. V. Yakushev, O. I. Podymov, A. V. Egorov, T. P. Demidova, S. V. Pakhomova, V. K. Chasovnikov, M. V. Chelysheva

Journal:

Année:

2006

Fichier:

PDF, 92 KB

2006

15

Use of a problem-oriented database for statistical analysis of the hydrochemical characteristics of the redox layer of the Black Sea

Journal:

Année:

2008

Langue:

english

Fichier:

PDF, 259 KB

english, 2008

16

High-frequency variability of vertical distribution of suspended sediment concentration under irregular waves

B. V. Divinsky, R. D. Kos’yan, M. V. Krylenko, I. S. Podymov

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 499 KB

english, 2011

17

Vibratory flame over a coaxial burner

V. N. Podymov, I. F. Chuchalin

Journal:

Combustion, Explosion, and Shock Waves

Année:

1969

Langue:

english

Fichier:

PDF, 350 KB

english, 1969

18

Molecular bases of ligand pathology and chelate pharmacology

V. K. Podymov, S. P. Gladkikh, L. A. Piruzyan

Journal:

Pharmaceutical Chemistry Journal

Année:

1982

Langue:

english

Fichier:

PDF, 550 KB

english, 1982

19

Oscillation excitation limits in a system containing a multichannel burner

V. M. Larionov, V. N. Podymov

Journal:

Combustion, Explosion, and Shock Waves

Année:

1984

Langue:

english

Fichier:

PDF, 222 KB

english, 1984

20

Effect of thickness of diffusion-temperature layer on flame height

V. N. Podymov, I. F. Chuchalin

Journal:

Combustion, Explosion, and Shock Waves

Année:

1968

Langue:

english

Fichier:

PDF, 237 KB

english, 1968

21

Remarks on the vibrational combustion of falling drops

V. N. Podymov, A. G. Gabidovskii, V. I. Serikov

Journal:

Combustion, Explosion, and Shock Waves

Année:

1974

Langue:

english

Fichier:

PDF, 352 KB

english, 1974

22

Book reviews

Journal:

Année:

1969

Langue:

english

Fichier:

PDF, 398 KB

english, 1969

23

Seasonal and interannual variability of hydrology and nutrients in the Northeastern Black Sea

Yakushev, E. V., Arkhipkin, V. S., Antipova, E. A., Kovaleva, I. N., Chasovnikov, V. K., Podymov, O. I.

Journal:

Chemistry and Ecology

Année:

2007

Langue:

english

Fichier:

PDF, 726 KB

english, 2007

24

The northeastern Black Sea redox zone: Hydrochemical structure and its temporal variability

E.V. Yakushev, V.K. Chasovnikov, E.I. Debolskaya, A.V. Egorov, P.N. Makkaveev, S.V. Pakhomova, O.I. Podymov, V.G. Yakubenko

Journal:

Deep Sea Research Part II: Topical Studies in Oceanography

Année:

2006

Langue:

english

Fichier:

PDF, 647 KB

english, 2006

25

Algorithm for verifying the equivalence of linear unary recursive programs on ordered semigroup scales

Journal:

Moscow University Computational Mathematics and Cybernetics

Année:

2013

Langue:

english

Fichier:

PDF, 235 KB

english, 2013

26

Interannual variability of the Black Sea Proper oxygen and nutrients regime: The role of climatic and anthropogenic forcing

Pakhomova, S., Vinogradova, E., Yakushev, E., Zatsepin, A., Shtereva, G., Chasovnikov, V., Podymov, O.

Journal:

Estuarine, Coastal and Shelf Science

Année:

2014

Langue:

english

Fichier:

PDF, 1.18 MB

english, 2014

27

Transport of solid material to the coastal zone near Gelendzhik after extremely heavy rains

Krylenko, V. V., Kosyan, R. D., Krylenko, M. V., Podymov, I. S.

Journal:

Année:

2014

Langue:

english

Fichier:

PDF, 3.56 MB

english, 2014

28

Subsatellite polygon for studying hydrophysical processes in the Black Sea shelf-slope zone

Zatsepin, A. G., Ostrovskii, A. G., Kremenetskiy, V. V., Nizov, S. S., Piotukh, V. B., Soloviev, V. A., Shvoev, D. A., Tsibul’sky, A. L., Kuklev, S. B., Kukleva, O. N., Moskalenko, L. V., Podymov, O.

Journal:

Izvestiya, Atmospheric and Oceanic Physics

Année:

2014

Langue:

english

Fichier:

PDF, 4.00 MB

english, 2014

29

On the nature of short-period oscillations of the main Black Sea pycnocline, submesoscale eddies, and response of the marine environment to the catastrophic shower of 2012

Zatsepin, A. G., Ostrovskii, A. G., Kremenetskiy, V. V., Piotukh, V. B., Kuklev, S. B., Moskalenko, L. V., Podymov, O. I., Baranov, V. I., Korzh, A. O., Stanichny, S. V.

Journal:

Izvestiya, Atmospheric and Oceanic Physics

Année:

2013

Langue:

english

Fichier:

PDF, 2.64 MB

english, 2013

30

[IEEE 2014 International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) - Moscow, Russia (2014.10.28-2014.10.29)] 2014 First International Science and Technology Conference (Modern Networking Technologies) (MoNeTeC) - VERMONT - A toolset for checking SDN packet forwarding policies on-line

Altukhov, V., Podymov, V., Zakharov, V., Chemeritskiy, E.

Année:

2014

Langue:

english

Fichier:

PDF, 175 KB

english, 2014

31

How to make a simple tool for verification of real-time systems

Konnov, I. V., Podymov, V. V., Volkanov, D. Yu., Zakharov, V. A., Zorin, D. A.

Journal:

Automatic Control and Computer Sciences

Année:

2014

Langue:

english

Fichier:

PDF, 263 KB

english, 2014

32

[IEEE 2013 Tools & Methods of Program Analysis (TMPA) - Kostroma, Russia (2013.10.10-2013.10.12)] 2013 Tools & Methods of Program Analysis - UPPAAL-based software-defined network verification

Podymov, Vladislav, Popesko, Uliana

Année:

2013

Langue:

english

Fichier:

PDF, 220 KB

english, 2013

33

A combined toolset for the verification of real-time distributed systems

Volkanov, D. Yu., Zakharov, V. A., Zorin, D. A., Podymov, V. V., Konnov, I. V.

Journal:

Programming and Computer Software

Année:

2015

Langue:

english

Fichier:

PDF, 925 KB

english, 2015

34

Marine environmental monitoring in the shelf zone of the Black Sea: Assessment of the current state of the pelagic ecosystem

Arashkevich, E. G., Louppova, N. E., Nikishina, A. B., Pautova, L. A., Chasovnikov, V. K., Drits, A. V., Podymov, O. I., Romanova, N. D., Stanichnaya, R. R., Zatsepin, A. G., Kuklev, S. B., Flint, M.

Journal:

Année:

2015

Langue:

english

Fichier:

PDF, 369 KB

english, 2015

35

[American Society of Civil Engineers 24th International Conference on Coastal Engineering - Kobe, Japan (October 23-28, 1994)] Coastal Engineering 1994 - Measurement of Parameters, Direction and Rate of Bedform Migration

Kos'Yan, R. D., Podymov, I. S.

Langue:

english

Fichier:

PDF, 196 KB

english

36

[American Society of Civil Engineers 27th International Conference on Coastal Engineering (ICCE) - Sydney, Australia (July 16-21, 2000)] Coastal Engineering 2000 - Investigations of Vertical Distribution of Suspended Sediments during Field Experiment Novomikhailovka '99

Podymov, Igor S., Kos'yan, Ruben D., Pykhov, Nikolay V.

Année:

2001

Langue:

english

Fichier:

PDF, 1.00 MB

english, 2001

37

Observations of a cycle of intense coastal upwelling and downwelling at the research site of the Shirshov Institute of Oceanology in the Black Sea

Zatsepin, A. G., Silvestrova, K. P., Kuklev, S. B., Piotoukh, V. B., Podymov, O. I.

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 3.27 MB

english, 2016

38

[Society of Petroleum Engineers SPE/DOE Improved Oil Recovery Symposium - Tulsa, Oklahoma (2002-04-13)] SPE/DOE Improved Oil Recovery Symposium - Application And Method Based On Artificial Intelligence For Selection Of Structures And Screening Of Technologies For Enhanced Oil Recovery

Ibatullin, R.R., Ibragimov, N.G., Khisamov, R.S., Podymov, E.D., Shutov, A.A.

Langue:

english

Fichier:

PDF, 261 KB

english

39

[American Society of Civil Engineers Fourth Conference on Coastal Dynamics - Lund, Sweden (June 11-15, 2001)] Coastal Dynamics '01 - Sediment Suspension under Shoaling Waves over Nearly Flat Bed

Kos'yan, R., Kunz, H., Kuznetsov, S., Podymov, I., Pykhov, N.

Année:

2001

Langue:

english

Fichier:

PDF, 618 KB

english, 2001

40

[Society of Petroleum Engineers SPE/DOE Improved Oil Recovery Symposium - (2002.04.13-2002.04.17)] Proceedings of SPE/DOE Improved Oil Recovery Symposium - Application and method based on artificial intelligence for selection of structures and screening of technologies for enhanced oil recovery

Ibatullin, R.R., Ibragimov, N.G., Khisamov, R.S., Podymov, E.D., Shutov, A.A.

Année:

2002

Langue:

english

Fichier:

PDF, 261 KB

english, 2002

41

An Efficient Equivalence-checking Algorithm for a Model of Programs with Commutative and Absorptive Statements

Podymov, Vladislav, Czaja, Ludwik, Penczek, Wojciech, Stencel, Krzysztof

Journal:

Fundamenta Informaticae

Année:

2016

Langue:

english

Fichier:

PDF, 374 KB

english, 2016

42

Seasonal anomalies of water salinity in the Gelendzhik region of the Black Sea according to shipborne monitoring data

O. I. Podymov,A. G. Zatsepin

Journal:

Année:

2016

Langue:

english

Fichier:

PDF, 2.13 MB

english, 2016

43

Sinking of less dense water in the bottom Ekman layer formed by a coastal downwelling current over a sloping bottom

Elkin, D. N., Zatsepin, A. G., Podymov, O. I., Ostrovskii, A. G.

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 1.23 MB

english, 2017

44

Vertical turbulent exchange in the Black Sea pycnocline and its relation to water dynamics

Podymov, O. I., Zatsepin, A. G., Ostrovsky, A. G.

Journal:

Année:

2017

Langue:

english

Fichier:

PDF, 4.43 MB

english, 2017

45

[American Society of Civil Engineers Conference on Coastal Engineering Practice 2011 - San Diego, California, United States (August 21-24, 2011)] Coastal Engineering Practice (2011) - Influence of JONSWAP Wave Spectra Form on Frequency Spectrum of Suspended Sediment Transport Values

Podymov, I. S., Grüne, J., Kos'yan, R. D., Podymova, T. M.

Langue:

english

Fichier:

PDF, 1.22 MB

english

46

[American Society of Civil Engineers Conference on Coastal Engineering Practice 2011 - San Diego, California, United States (August 21-24, 2011)] Coastal Engineering Practice (2011) - Influence of Small Rivers' Runoff on the Hydrochemical Structure of Coastal Waters of the North-Eastern Black Sea

Kostyleva, A. V., Podymov, O. I., Makkaveev, P. N., Polukhin, A. A.

Langue:

english

Fichier:

PDF, 986 KB

english

47

Drivers of phytoplankton blooms in the northeastern Black Sea

Silkin, V.A., Pautova, L.A., Giordano, M., Chasovnikov, V.K., Vostokov, S.V., Podymov, O.I., Pakhomova, S.V., Moskalenko, L.V.

Journal:

Marine Pollution Bulletin

Année:

2019

Langue:

english

Fichier:

PDF, 1.35 MB

english, 2019

48

A Flattening Algorithm for Hierarchical Timed Automata

Journal:

Computational Mathematics and Modeling

Année:

2019

Langue:

english

Fichier:

PDF, 144 KB

english, 2019

49

A Flattening Algorithm for Hierarchical Timed Automata

Journal:

Computational Mathematics and Modeling

Année:

2019

Fichier:

PDF, 144 KB

2019

50

Seasonal and interannual variability of vertical turbulent exchange coefficient in the Black Sea pycnocline in 2013–2016 and its relation to variability of mean kinetic energy of surface currents

Podymov, Oleg, Zatsepin, Andrei, Kubryakov, Arseny, Ostrovskii, Alexander

Journal:

Année:

2019

Fichier:

PDF, 8.62 MB

2019